Translatable Self-Reference
نویسندگان
چکیده
منابع مشابه
Translatable Self-Reference
Stephen Read has advanced a solution of certain semantic paradoxes recently, based on the work of Thomas Bradwardine. One consequence of this approach, however, is that if Socrates utters only ‘Socrates utters a falsehood’ (a), while Plato says ‘Socrates utters a falsehood’ (b), then, for Bradwardine two different propositions are involved on account of (a) being self-referential, while (b) is ...
متن کاملTextual, Executable, Translatable UML
This paper advocates the application of language embedding for executable UML modeling. In particular, txtUML is presented, a Java API and library to build UML models using Java syntax, then run and debug them by reusing the Java runtime environment and existing debuggers. Models can be visualized using the Papyrus editor of the Eclipse Modeling Framework and compiled to implementation language...
متن کاملSelf-reference in Arithmetic∗
AGödel sentence is oen described as a sentence saying about itself that it is not provable and a Henkin sentence as a sentence stating its own provability. We discuss what it couldmean for a sentence to ascribe to itself a property such as provability or unprovability. e starting point will be the answer Kreisel gave to Henkin’s problem. We describe how the properties of the supposedly self-re...
متن کاملTranslatable Finite State Time Machine
The paper describes syntax, behavior and formal semantics of a new class of timed automata, which are tailored for modeling the behavior of real-time systems. A formal method for automatic generation of programs is developed around this model. The method starts from modeling the desired behavior of the system under design by means of a UML-based state machine with the ability to measure time, a...
متن کاملVarieties of Self-Reference
The significance of any system of explicit representation depends not only on the immediate properties of its representational structures, but also on two aspects of the attendant circumstances: implicit relations among, and processes defined over, those individual representations, and larger circumstances in the world in which the whole representational system is embedded. This relativity of r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Australasian Journal of Logic
سال: 2011
ISSN: 1448-5052
DOI: 10.26686/ajl.v10i0.1824